go/types.Checker.subst (method)
16 uses
go/types (current package)
alias.go#L168: rhs := check.subst(pos, orig.fromRHS, makeSubstMap(orig.TypeParams().list(), targs), expanding, ctxt)
call.go#L633: sigParams = check.subst(call.Pos(), sigParams, makeSubstMap(tparams[:n], targs[:n]), nil, check.context()).(*Tuple)
infer.go#L111: params = check.subst(nopos, params, smap, nil, check.context()).(*Tuple)
infer.go#L140: inferred := check.subst(arg.Pos(), tpar, smap, nil, check.context())
infer.go#L425: if t1 := check.subst(nopos, t0, smap, nil, check.context()); t1 != t0 {
infer.go#L512: tparams2[i].bound = check.subst(pos, tparam.bound, renameMap, nil, check.context())
infer.go#L515: return tparams2, check.subst(pos, typ, renameMap, nil, check.context())
instantiate.go#L166: sig := check.subst(pos, orig, makeSubstMap(tparams.list(), targs), nil, ctxt).(*Signature)
instantiate.go#L221: bound := check.subst(pos, tpar.bound, smap, nil, ctxt)
named.go#L430: sig = check.subst(origm.pos, origSig, smap, t, ctxt).(*Signature)
named.go#L673: underlying := n.check.subst(n.obj.pos, orig.underlying, smap, n, ctxt)
predicates.go#L371: ybound := check.subst(nopos, ytparams[i].bound, smap, nil, ctxt)
predicates.go#L377: yparams = check.subst(nopos, y.params, smap, nil, ctxt).(*Tuple)
predicates.go#L378: yresults = check.subst(nopos, y.results, smap, nil, ctxt).(*Tuple)
signature.go#L251: recvTPar.bound = check.subst(recvTPar.obj.pos, baseTPar.bound, smap, nil, check.context())
subst.go#L58: func (check *Checker) subst(pos token.Pos, typ Type, smap substMap, expanding *Named, ctxt *Context) Type {